MINLP (from Gupta-Ravindran; nvs_17 in MINLPLib) go Couenne GAMS short